home *** CD-ROM | disk | FTP | other *** search
/ Carousel Volume 2 #1 / carousel.iso / mactosh / appl / cocoa.sit / CoCoA 0.99b.rsrc / DITL.txt < prev    next >
Encoding:
Text File  |  1989-08-30  |  7.8 KB  |  281 lines
  1. DITL_1000.txt
  2. # 2 entries
  3. # item 0: BUTTON (0x04) enabled
  4. #   bounds: x1=267 y1=90 x2=337 y2=110
  5. #   text: "OK"
  6. # item 1: TEXT (0x88) disabled
  7. #   bounds: x1=60 y1=10 x2=350 y2=70
  8. #   text: "^1"
  9.  
  10.  
  11. DITL_1001.txt
  12. # 18 entries
  13. # item 0: BUTTON (0x04) enabled
  14. #   bounds: x1=322 y1=204 x2=402 y2=234
  15. #   text: "OK"
  16. # item 1: BUTTON (0x04) enabled
  17. #   bounds: x1=322 y1=161 x2=402 y2=191
  18. #   text: "Cancel"
  19. # item 2: TEXT (0x88) disabled
  20. #   bounds: x1=172 y1=3 x2=260 y2=27
  21. #   text: "Ring Setting"
  22. # item 3: TEXT (0x88) disabled
  23. #   bounds: x1=5 y1=37 x2=77 y2=56
  24. #   text: "Variables:"
  25. # item 4: EDIT_TEXT (0x10) enabled
  26. #   bounds: x1=82 y1=36 x2=400 y2=52
  27. #   text: "xyzt"
  28. # item 5: TEXT (0x88) disabled
  29. #   bounds: x1=5 y1=75 x2=78 y2=95
  30. #   text: "Weights:"
  31. # item 6: EDIT_TEXT (0x10) enabled
  32. #   bounds: x1=82 y1=76 x2=400 y2=92
  33. #   text: "1 1 1 1"
  34. # item 7: TEXT (0x88) disabled
  35. #   bounds: x1=147 y1=117 x2=252 y2=133
  36. #   text: "Characteristic "
  37. # item 8: EDIT_TEXT (0x10) enabled
  38. #   bounds: x1=262 y1=117 x2=336 y2=133
  39. #   text: "0"
  40. # item 9: RADIO_BUTTON (0x06) enabled
  41. #   bounds: x1=8 y1=191 x2=63 y2=209
  42. #   text: "Lex"
  43. # item 10: RADIO_BUTTON (0x06) enabled
  44. #   bounds: x1=8 y1=167 x2=80 y2=184
  45. #   text: "DegLex"
  46. # item 11: RADIO_BUTTON (0x06) enabled
  47. #   bounds: x1=8 y1=144 x2=97 y2=159
  48. #   text: "DegRevLex"
  49. # item 12: RADIO_BUTTON (0x06) enabled
  50. #   bounds: x1=8 y1=219 x2=25 y2=235
  51. #   text: ""
  52. # item 13: BUTTON (0x04) enabled
  53. #   bounds: x1=26 y1=219 x2=81 y2=235
  54. #   text: "Other"
  55. # item 14: TEXT (0x88) disabled
  56. #   bounds: x1=7 y1=117 x2=107 y2=133
  57. #   text: "Term ordering "
  58. # item 15: BUTTON (0x04) enabled
  59. #   bounds: x1=144 y1=153 x2=263 y2=177
  60. #   text: "Gbasis Options"
  61. # item 16: BUTTON (0x04) enabled
  62. #   bounds: x1=145 y1=187 x2=264 y2=211
  63. #   text: "Modules Options"
  64. # item 17: BUTTON (0x04) enabled
  65. #   bounds: x1=145 y1=223 x2=264 y2=247
  66. #   text: "Other Options"
  67.  
  68.  
  69. DITL_1101.txt
  70. # 9 entries
  71. # item 0: BUTTON (0x04) enabled
  72. #   bounds: x1=314 y1=4 x2=379 y2=24
  73. #   text: "Cancel"
  74. # item 1: TEXT (0x88) disabled
  75. #   bounds: x1=5 y1=5 x2=54 y2=22
  76. #   text: "Polys:"
  77. # item 2: TEXT (0x88) disabled
  78. #   bounds: x1=54 y1=5 x2=82 y2=22
  79. #   text: "1"
  80. # item 3: TEXT (0x88) disabled
  81. #   bounds: x1=82 y1=5 x2=118 y2=22
  82. #   text: "Deg:"
  83. # item 4: TEXT (0x88) disabled
  84. #   bounds: x1=118 y1=5 x2=149 y2=22
  85. #   text: "2"
  86. # item 5: TEXT (0x88) disabled
  87. #   bounds: x1=149 y1=5 x2=188 y2=22
  88. #   text: "Mon:"
  89. # item 6: TEXT (0x88) disabled
  90. #   bounds: x1=188 y1=5 x2=218 y2=22
  91. #   text: "3"
  92. # item 7: TEXT (0x88) disabled
  93. #   bounds: x1=218 y1=5 x2=279 y2=22
  94. #   text: "Couples:"
  95. # item 8: TEXT (0x88) disabled
  96. #   bounds: x1=278 y1=5 x2=309 y2=22
  97. #   text: "9"
  98.  
  99.  
  100. DITL_1200.txt
  101. # 2 entries
  102. # item 0: BUTTON (0x04) enabled
  103. #   bounds: x1=163 y1=133 x2=240 y2=154
  104. #   text: "OK"
  105. # item 1: TEXT (0x88) disabled
  106. #   bounds: x1=10 y1=28 x2=402 y2=103
  107. #   text: "^0 \n ^1 \n ^2 \n ^3"
  108.  
  109.  
  110. DITL_2000.txt
  111. # 4 entries
  112. # item 0: BUTTON (0x04) enabled
  113. #   bounds: x1=224 y1=64 x2=284 y2=84
  114. #   text: "Yes"
  115. # item 1: BUTTON (0x04) enabled
  116. #   bounds: x1=144 y1=64 x2=204 y2=84
  117. #   text: "No"
  118. # item 2: BUTTON (0x04) enabled
  119. #   bounds: x1=64 y1=64 x2=124 y2=84
  120. #   text: "Cancel"
  121. # item 3: TEXT (0x08) enabled
  122. #   bounds: x1=64 y1=8 x2=288 y2=48
  123. #   text: "Text has changes since last save. Save before closing?"
  124.  
  125.  
  126. DITL_2001.txt
  127. # 26 entries
  128. # item 0: BUTTON (0x04) enabled
  129. #   bounds: x1=384 y1=152 x2=440 y2=176
  130. #   text: "OK"
  131. # item 1: BUTTON (0x04) enabled
  132. #   bounds: x1=384 y1=208 x2=440 y2=232
  133. #   text: "Cancel"
  134. # item 2: TEXT (0x88) disabled
  135. #   bounds: x1=160 y1=0 x2=289 y2=19
  136. #   text: "Grobner options"
  137. # item 3: TEXT (0x88) disabled
  138. #   bounds: x1=144 y1=160 x2=205 y2=176
  139. #   text: "Mode"
  140. # item 4: CHECKBOX (0x05) enabled
  141. #   bounds: x1=16 y1=192 x2=142 y2=208
  142. #   text: "Display Status"
  143. # item 5: CHECKBOX (0x05) enabled
  144. #   bounds: x1=16 y1=208 x2=139 y2=225
  145. #   text: "S-polynomials"
  146. # item 6: CHECKBOX (0x05) enabled
  147. #   bounds: x1=16 y1=224 x2=155 y2=239
  148. #   text: "Redundant Polys"
  149. # item 7: CHECKBOX (0x05) enabled
  150. #   bounds: x1=16 y1=240 x2=138 y2=256
  151. #   text: "Deleted Pairs"
  152. # item 8: TEXT (0x88) disabled
  153. #   bounds: x1=8 y1=128 x2=344 y2=144
  154. #   text: "------------------------------------------------------"
  155. # item 9: CHECKBOX (0x05) enabled
  156. #   bounds: x1=176 y1=192 x2=340 y2=211
  157. #   text: "Initial InterReduction"
  158. # item 10: CHECKBOX (0x05) enabled
  159. #   bounds: x1=176 y1=208 x2=335 y2=225
  160. #   text: "Final InterReduction"
  161. # item 11: CHECKBOX (0x05) enabled
  162. #   bounds: x1=176 y1=224 x2=332 y2=240
  163. #   text: "Normal Form"
  164. # item 12: TEXT (0x88) disabled
  165. #   bounds: x1=8 y1=264 x2=344 y2=280
  166. #   text: "-------------------------------------------------"
  167. # item 13: TEXT (0x88) disabled
  168. #   bounds: x1=16 y1=80 x2=172 y2=101
  169. #   text: "Insertion in Gbasis"
  170. # item 14: RADIO_BUTTON (0x06) enabled
  171. #   bounds: x1=16 y1=104 x2=128 y2=120
  172. #   text: "at end of list"
  173. # item 15: RADIO_BUTTON (0x06) enabled
  174. #   bounds: x1=128 y1=104 x2=281 y2=122
  175. #   text: "by increasing length"
  176. # item 16: TEXT (0x88) disabled
  177. #   bounds: x1=16 y1=24 x2=138 y2=40
  178. #   text: "Weights for pairs"
  179. # item 17: EDIT_TEXT (0x10) enabled
  180. #   bounds: x1=16 y1=48 x2=206 y2=65
  181. #   text: "1 1 1 1"
  182. # item 18: TEXT (0x88) disabled
  183. #   bounds: x1=280 y1=24 x2=421 y2=40
  184. #   text: "Ordering for pairs"
  185. # item 19: RADIO_BUTTON (0x06) enabled
  186. #   bounds: x1=256 y1=48 x2=328 y2=64
  187. #   text: "DegLex"
  188. # item 20: RADIO_BUTTON (0x06) enabled
  189. #   bounds: x1=336 y1=48 x2=436 y2=65
  190. #   text: "DegAntiLex"
  191. # item 21: RADIO_BUTTON (0x06) enabled
  192. #   bounds: x1=256 y1=64 x2=328 y2=80
  193. #   text: "DegRev"
  194. # item 22: RADIO_BUTTON (0x06) enabled
  195. #   bounds: x1=336 y1=64 x2=439 y2=82
  196. #   text: "DegAntiRev"
  197. # item 23: RADIO_BUTTON (0x06) enabled
  198. #   bounds: x1=336 y1=88 x2=356 y2=104
  199. #   text: ""
  200. # item 24: BUTTON (0x04) enabled
  201. #   bounds: x1=360 y1=88 x2=417 y2=104
  202. #   text: "Other"
  203. # item 25: CHECKBOX (0x05) enabled
  204. #   bounds: x1=176 y1=240 x2=333 y2=257
  205. #   text: "With Sugar Flavour"
  206.  
  207.  
  208. DITL_2101.txt
  209. # 6 entries
  210. # item 0: BUTTON (0x04) enabled
  211. #   bounds: x1=179 y1=154 x2=260 y2=176
  212. #   text: "OK"
  213. # item 1: BUTTON (0x04) enabled
  214. #   bounds: x1=45 y1=153 x2=126 y2=175
  215. #   text: "Cancel"
  216. # item 2: TEXT (0x88) disabled
  217. #   bounds: x1=80 y1=19 x2=240 y2=43
  218. #   text: "Ordering for Modules"
  219. # item 3: RADIO_BUTTON (0x06) enabled
  220. #   bounds: x1=24 y1=72 x2=136 y2=93
  221. #   text: "Position + TO"
  222. # item 4: RADIO_BUTTON (0x06) enabled
  223. #   bounds: x1=176 y1=72 x2=283 y2=89
  224. #   text: "TO + Position"
  225. # item 5: TEXT (0x88) disabled
  226. #   bounds: x1=40 y1=96 x2=248 y2=132
  227. #   text: "\'Left components are greater than right ones\'"
  228.  
  229.  
  230. DITL_2300.txt
  231. # 9 entries
  232. # item 0: BUTTON (0x04) enabled
  233. #   bounds: x1=188 y1=153 x2=254 y2=178
  234. #   text: "OK"
  235. # item 1: BUTTON (0x04) enabled
  236. #   bounds: x1=59 y1=154 x2=132 y2=178
  237. #   text: "Cancel"
  238. # item 2: TEXT (0x88) disabled
  239. #   bounds: x1=16 y1=16 x2=215 y2=34
  240. #   text: "Variable for Poincare Series"
  241. # item 3: EDIT_TEXT (0x10) enabled
  242. #   bounds: x1=221 y1=17 x2=246 y2=35
  243. #   text: "z"
  244. # item 4: RADIO_BUTTON (0x06) enabled
  245. #   bounds: x1=32 y1=70 x2=118 y2=91
  246. #   text: "Normal"
  247. # item 5: RADIO_BUTTON (0x06) enabled
  248. #   bounds: x1=32 y1=95 x2=198 y2=115
  249. #   text: "Binomial ( first kind )"
  250. # item 6: RADIO_BUTTON (0x06) enabled
  251. #   bounds: x1=32 y1=119 x2=212 y2=139
  252. #   text: "Binomial ( Second Kind )"
  253. # item 7: EDIT_TEXT (0x10) enabled
  254. #   bounds: x1=227 y1=106 x2=281 y2=127
  255. #   text: "0"
  256. # item 8: TEXT (0x08) enabled
  257. #   bounds: x1=25 y1=49 x2=243 y2=65
  258. #   text: "representation of polynomial"
  259.  
  260.  
  261. DITL_3000.txt
  262. # 3 entries
  263. # item 0: TEXT (0x88) disabled
  264. #   bounds: x1=348 y1=194 x2=408 y2=214
  265. #   text: "Dummy Item"
  266. # item 1: EDIT_TEXT (0x10) enabled
  267. #   bounds: x1=9 y1=17 x2=252 y2=241
  268. #   text: ""
  269. # item 2: BUTTON (0x04) enabled
  270. #   bounds: x1=97 y1=248 x2=157 y2=268
  271. #   text: "Ok"
  272.  
  273.  
  274. DITL_4000.txt
  275. # 1 entries
  276. # item 0: TEXT (0x08) enabled
  277. #   bounds: x1=10 y1=0 x2=226 y2=20
  278. #   text: "Please wait, CoCoA is loadingΓǪ"
  279.  
  280.  
  281.